#include <stdlib.h>

int strlen(const char *string) {
	int length = 0;
	while (*string++ != '\0')
		length += 1;
	return length;
}

int main(void) {
	const char *p = "aba";
	int length = strlen(p);
	_Printf_format_string_("%d\n", length);
}